home *** CD-ROM | disk | FTP | other *** search
/ Aminet 5 / Aminet 5 - March 1995.iso / Aminet / text / misc / Deduce110.readme < prev    next >
Text File  |  1995-02-12  |  1KB  |  34 lines
  1. Short:    A deductive reasoning AI program
  2. Author:   williamj@griffon.mwsc.edu (James Williams)
  3. Uploader: williamj@griffon.mwsc.edu (James Williams)
  4. Type:     text/misc
  5.  
  6. Deduce will let a user enter information as plain English sentences and
  7. then ask yes/no questions about it.  Deduce will be able to determine
  8. the answers to the questions through deductive reasoning.
  9.  
  10. eg
  11.  
  12. Spot is a dog
  13. A dog is an animal
  14. Is spot an animal?
  15.  
  16. Yes
  17.  
  18.  
  19. ============================= Archive contents =============================
  20.  
  21. Original  Packed Ratio    Date     Time    Name
  22. -------- ------- ----- --------- --------  -------------
  23.     1233     682 44.6% 07-Jun-93 12:43:38  Deduce.info
  24.    13748    8205 40.3% 07-Jun-93 13:03:00  Deduce/Deduce
  25.        7       7  0.0% 07-Jun-93 12:35:52  Deduce/Deduce!
  26.     1572     580 63.1% 07-Jun-93 12:46:18  Deduce/Deduce!.info
  27.    10474    4277 59.1% 07-Jun-93 13:03:00  Deduce/Deduce.doc
  28.     1499     579 61.3% 07-Jun-93 12:43:36  Deduce/Deduce.doc.info
  29.    10597    4403 58.4% 07-Jun-93 13:03:48  Deduce/Deduce.guide
  30.     5129    1600 68.8% 07-Jun-93 12:43:36  Deduce/Deduce.guide.info
  31.      338     157 53.5% 07-Jun-93 12:44:08  Deduce/Sample
  32. -------- ------- ----- --------- --------
  33.    44597   20490 54.0% 04-Feb-95 11:08:08   9 files
  34.